Перевод: со всех языков на все языки

со всех языков на все языки

logic program

См. также в других словарях:

  • Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

  • Program derivation — In computer science, program derivation is the derivation of a program from its specification, by mathematical means.To derive a program means to write a formal specification, which is usually non executable, and then apply mathematically correct …   Wikipedia

  • Logic Theorist — is a computer program written in 1955 and 1956 by Alan Newell, Herbert Simon and J. C. Shaw. It was the first program deliberately engineered to mimic the problem solving skills of a human being and is called the first artificial intelligence… …   Wikipedia

  • Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… …   Wikipedia

  • Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system …   Wikipedia

  • Program evaluation — is a formalized approach to studying the goals, processes, and impacts of projects, policies and programs. Program evaluation is used in the public and private sector and is taught in numerous universities. Evaluation became particularly relevant …   Wikipedia

  • Logic in computer science — describes topics where logic is applied to computer science and artificial intelligence. These include:*Investigations into logic that are guided by applications in computer science. For example: Combinatory logic and Abstract interpretation;… …   Wikipedia

  • Logic (disambiguation) — Logic is the study of the principles and criteria of valid inference and demonstration.Logic may also refer to:In logic and mathematics*A branch of logic: **Inductive logic, also called induction or inductive reasoning **Informal logic, the study …   Wikipedia

  • Logic Quest 3D — is a computer game published in 1997 by The Learning Company. It is recommended for ages 8 to 14, and primarily builds thinking and problem solving skills. Minimum System Requirements [Broderbund Support Center] Windows: ** Pentium 60 MHz… …   Wikipedia

  • logic bomb — logic bombs N COUNT A logic bomb is an unauthorized program that is inserted into a computer system so that when it is started it affects the operation of the computer. [COMPUTING] Viruses and logic bombs can doubtless do great damage under some… …   English dictionary

  • Logic model — The logic model is a general framework for describing work in an organization. Since work is often packaged in programs, it is often referred to as the program logic model. Definition In its simplest form, the logic model analyzes work into four… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»